Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
121	Convergent relaxations of polynomial optimization problems with non-commuting variables S. Pironio1 1 2 Add to Reading List Source URL: www.optimization-online.org Language: English - Date: 2010-01-11 16:03:57 Mathematics Mathematical analysis Special functions Mathematical optimization Real algebraic geometry Inverse trigonometric functions Ratios Trigonometry Semidefinite programming Limit of a function
122	PDF Document Add to Reading List Source URL: www.analyticalgrammar.com Language: English - Date: 2016-07-21 18:30:19 Software Application software Mathematical software Free statistical software Literate programming R
123	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:19 Theoretical computer science Mathematical logic Mathematics Logic in computer science Boolean algebra Logic programming Automated planning and scheduling Formal methods Situation calculus Planning Domain Definition Language Boolean satisfiability problem Conjunctive normal form
124	Self-Organizing Map for Data Mining in MATLAB: the SOM Toolbox http://www.cis.hut.fi/projects/somtoolbox The SOM Toolbox is a free function library for MATLAB 5 implementing the Self-Organizing Map (SOM) algorithm which Add to Reading List Source URL: www.cis.hut.fi Language: English - Date: 2000-10-09 05:53:45 Software Application software Mathematical software Array programming languages Artificial neural networks Dimension reduction Self-organizing map Cross-platform software Free statistical software MATLAB R Generative topographic map
125	One day of life in V8 Vyacheslav Egorov Can V8 do that?! Vyacheslav Egorov Add to Reading List Source URL: mrale.ph Language: English - Date: 2016-08-22 07:16:39 Actuarial science Financial risk Mathematical finance Value at risk Applied mathematics Object-oriented programming languages Economy Money Biconjugate gradient stabilized method
126	Grenoble Optimization Day November 5, LJK, Université Joseph Fourier, Grenoble, France How the augmented Lagrangian algorithm can deal with an infeasible convex quadratic optimization problem — Add to Reading List Source URL: bipop.inrialpes.fr Language: English - Date: 2014-11-07 11:21:24 Numerical analysis Mathematical optimization Mathematical analysis Operations research Convex optimization Linear programming Duality FrankWolfe algorithm Equation solving Algorithm
127	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming
128	NumPy User Guide ReleaseWritten by the NumPy community May 29, 2016 Add to Reading List Source URL: docs.scipy.org Language: English - Date: 2016-05-29 04:42:09 Software Application software Array programming languages Cross-platform software Linear algebra NumPy SciPy Mathematical software Array data type Array programming Array data structure MATLAB
129	Increasing the Action Gap: New Operators for Reinforcement Learning Marc G. Bellemare and Georg Ostrovski and Arthur Guez Philip S. Thomas∗ and R´emi Munos Google DeepMind {bellemare,ostrovski,aguez,munos}@google.com; Add to Reading List Source URL: psthomas.com Language: English - Date: 2015-12-12 00:05:18 Mathematics Mathematical optimization Dynamic programming Mathematical analysis Equations Operations research Systems theory Stochastic control Bellman equation Markov decision process Q-learning Reinforcement learning
130	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions

UPDATE